atomic($a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\neg$$a$ $=$ 0 $\in$ $\mathbb{Z}$ \& $\neg$($a$ $\sim$ 1) \& $\neg$reducible($a$)